package FOL;

public class Sentence extends FirstOrderLogic
{
	
}
